
uint64 participant
uint64 plan
uint64[] reached_checkpoints
uint64 progress_version
